Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
381	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
382	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
383	Using Powerdomains to Generalize Relational Databases Peter Buneman Achim Jung Atsushi Ohoriy Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Logic in computer science Relational model Mathematical logic Data modeling Relational algebra Domain theory Finitary relation Denotational semantics Semantics Power domains Relational database Functional dependency
384	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
385	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
386	DATA PRODUCT SPECIFICATION FOR SPIKE TEST Version 1-01 Document Control Number05-23 Add to Reading List Source URL: oceanobservatories.org Language: English - Date: 2015-11-16 09:14:59 Theoretical computer science Algorithm Mathematical logic Data
387	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
388	Taming infinities M. Hairer University of Warwick 2nd Heidelberg Laureate Forum Add to Reading List Source URL: www.hairer.org Language: English - Date: 2014-09-23 05:33:18 Non-standard analysis Infinity Mathematical objects Calculus Mathematical logic Infinitesimal Quantum field theory Real number Augustin-Louis Cauchy Karl Weierstrass Number Limit of a function
389	Microsoft PowerPoint - autoprog-splash-oct11 Add to Reading List Source URL: onward-conference.org Language: English - Date: 2014-05-20 07:19:23 Digital signal processing Theoretical computer science Algorithm Mathematical logic Program optimization Discrete Fourier transform Fourier
390	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-01-02 04:40:23 Model theory Mathematical structures Mathematical logic Complexity classes Computability theory Equivalence relation Structure FO Metric space Arithmetical hierarchy Definable set Mutation

UPDATE